<html>
<head><meta charset="utf-8"><title>ctfe working group compiler-team#201 · t-compiler/wg-meta · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/index.html">t-compiler/wg-meta</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html">ctfe working group compiler-team#201</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="182693270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/182693270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#182693270">(Dec 05 2019 at 19:20)</a>:</h4>
<p>You rang?</p>



<a name="182693482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/182693482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#182693482">(Dec 05 2019 at 19:22)</a>:</h4>
<p>I don't think <span class="user-mention silent" data-user-id="124288">oli</span> wants to add to the list of WGs they lead, and I think they're pretty much the only viable candidate</p>



<a name="182693599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/182693599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#182693599">(Dec 05 2019 at 19:23)</a>:</h4>
<p>However wg-ctfe seems like something that should exist to spin off project groups. const-heap-allocation, const-mut-ref, etc.</p>



<a name="182693868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/182693868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#182693868">(Dec 05 2019 at 19:26)</a>:</h4>
<p>So maybe we want to close that PR? Or we could convince <span class="user-mention silent" data-user-id="124288">oli</span> to be the lead with the understanding that it will be minimal overhead (i.e., no weekly meeting).</p>



<a name="182695341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/182695341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#182695341">(Dec 05 2019 at 19:39)</a>:</h4>
<p>I just read your AiC blog post, and it seems like it kind of obviates the need for lang team related WGs. Instead the lang team itself decides what proposals they want to form project groups around, no extra layer of bureaucracy required. I quite like this idea.</p>



<a name="182695584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/182695584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#182695584">(Dec 05 2019 at 19:41)</a>:</h4>
<p>So let's close this PR, and I can talk with <span class="user-mention silent" data-user-id="124288">oli</span> and <span class="user-mention silent" data-user-id="120791">RalfJ</span> about what the proposals they would want the lang-team to prioritize at a later date.</p>



<a name="183312545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183312545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183312545">(Dec 12 2019 at 23:06)</a>:</h4>
<p>I think closing the PR makes sense for sure, <span class="user-mention" data-user-id="118594">@ecstatic-morse</span>, since it's kind of been open with no resolution</p>



<a name="183312572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183312572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183312572">(Dec 12 2019 at 23:06)</a>:</h4>
<p>But I still feel a bit unresolved about how <em>lang team</em> and const evaluation should overlap etc --</p>



<a name="183312596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183312596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183312596">(Dec 12 2019 at 23:07)</a>:</h4>
<p>I mean I guess I think we <em>do</em> have a need for a shepherded group, which of course you've been doing a great job of thus far</p>



<a name="183312603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183312603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183312603">(Dec 12 2019 at 23:07)</a>:</h4>
<p>(I feel much more aware of what's going on now!)</p>



<a name="183312617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183312617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183312617">(Dec 12 2019 at 23:07)</a>:</h4>
<p>I feel like the main thing that's missing perhaps is a kind of "roadmap" that I can refer back to refresh my memory etc</p>



<a name="183312761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183312761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183312761">(Dec 12 2019 at 23:09)</a>:</h4>
<p>I can only talk intelligently about a fairly narrow range of CTFE topics (promotion, qualification, etc.). Stuff like <a href="https://github.com/rust-lang/rust/issues/67191" target="_blank" title="https://github.com/rust-lang/rust/issues/67191">#67191</a> is out of my depth.</p>



<a name="183312867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183312867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183312867">(Dec 12 2019 at 23:11)</a>:</h4>
<p>well, even knowing to look at it is better than before :P</p>



<a name="183313023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183313023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183313023">(Dec 12 2019 at 23:12)</a>:</h4>
<p>but, stepping back, I feel like there are some "big-ish" design questions (e.g., what does "unsafe" mean in the context of const, are we adopting <a href="https://www.ralfj.de/blog/2018/07/19/const.html" target="_blank" title="https://www.ralfj.de/blog/2018/07/19/const.html">the model that <span class="user-mention" data-user-id="120791">@RalfJ</span> advocated for here</a>) that to my mind are kind of unresolved</p>



<a name="183313266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183313266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183313266">(Dec 12 2019 at 23:16)</a>:</h4>
<p>I interpret my role as something like "shepherd for control-flow in consts", which is proceeding nicely I think. However, this particular project is mostly implementation focused.</p>



<a name="183313347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183313347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183313347">(Dec 12 2019 at 23:17)</a>:</h4>
<p>I think people with experience around CTFE would need to organize a bit more to tackle those big design problems. I don't think we have the requisite number of person-hours per week at the moment.</p>



<a name="183314260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183314260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183314260">(Dec 12 2019 at 23:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  Would a list of prospective future projects in CTFE-land serve as a good roadmap for you? I have a decent idea of where we could go next, and I can talk to others to flesh that out. I'm imagining that the lang-team determine the priority of these while taking into account stakeholder availability (there are a few projects that would need a certain amount of <span class="user-mention silent" data-user-id="120791">RalfJ</span>  time to succeed <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span>).</p>



<a name="183874232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/ctfe%20working%20group%20compiler-team%23201/near/183874232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/ctfe.20working.20group.20compiler-team.23201.html#183874232">(Dec 19 2019 at 18:58)</a>:</h4>
<p><span class="user-mention" data-user-id="118594">@ecstatic-morse</span> that seems like a very good start, yes</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>